void Int0Init();